functional calculus

functional calculus
noun
a system of symbolic logic that represents individuals and predicates and quantification over individuals (as well as the relations between propositions)
Syn: ↑predicate calculus
Part Meronyms: ↑quantification

* * *

noun
: a branch of symbolic logic that utilizes quantifiers in order to deal with propositional functions in addition to the unanalyzed propositions of propositional calculus — called also predicate calculus; see higher functional calculus, lower functional calculus

* * *

the branch of symbolic logic that includes the sentential calculus and that deals with sentential functions and quantifiers and with logical relations between sentences containing quantifiers. Also called predicate calculus, predicate logic.
[1930-35]

* * *

functional calculus,
the branch of symbolic logic that deals with propositional functions and relations and with quantifiers; predicate calculus.

Useful english dictionary. 2012.

Игры ⚽ Нужно сделать НИР?

Look at other dictionaries:

  • Functional calculus — In mathematics, a functional calculus is a theory allowing one to apply mathematical functions to mathematical operators. The term was also used previously to refer to the calculus of variations. If f is a function, say a numerical function of a… …   Wikipedia

  • functional calculus of the first order — noun see lower functional calculus …   Useful english dictionary

  • functional calculus of the second order — noun see higher functional calculus …   Useful english dictionary

  • functional calculus — the branch of symbolic logic that includes the sentential calculus and that deals with sentential functions and quantifiers and with logical relations between sentences containing quantifiers. Also called predicate calculus, predicate logic.… …   Universalium

  • functional calculus — func′tional cal′culus n. math. pho the branch of symbolic logic that includes the sentential calculus and that deals with sentential functions and quantifiers and with logical relations between sentences containing quantifiers Also called… …   From formal English to slang

  • functional calculus — noun Date: 1933 predicate calculus …   New Collegiate Dictionary

  • Holomorphic functional calculus — In mathematics, holomorphic functional calculus is functional calculus with holomorphic functions. That is to say, given a holomorphic function fnof; of a complex argument z and an operator T , the aim is to construct an operator:f(T),which in a… …   Wikipedia

  • Borel functional calculus — In functional analysis, a branch of mathematics, the Borel functional calculus is a functional calculus (that is, an assignment of operators from commutative algebras to functions defined on their spectrum), which has particularly broad… …   Wikipedia

  • Continuous functional calculus — In mathematics, the continuous functional calculus of operator theory and C* algebra theory allows applications of continuous functions to normal elements of a C* algebra. More precisely, Theorem. Let x be a normal element of a C* algebra A with… …   Wikipedia

  • higher functional calculus — noun : functional calculus in which quantification is applied not only to individual variables but also to functional and propositional variables called also functional calculus of the second order …   Useful english dictionary

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”